is everybody happy a été trouvé dans plusieurs musiques et nom d'artistes.